Franck Scurti, Ulf Linde. Certifié pour copie conforme. Marcel Duchamp

Copie de POUR PDF

Finding relevant information on the Web is often difficult for most of the users. Although Web search applications are improving, they still need to be more intelligent to adapt to the search domain targeted by users, the evolution of this domain and users’ characteristics. In this paper, we present an experimental assessment of the TARGET framework for improving the relevance of the documents ...

Copie de POUR PDF

The communication infrastructure around us is a rich but fragmented environment made of separated services corresponding to different levels of engagement. The multiscale approach to communication proposes instead to create systems that support a variable degree of engagement and smooth transitions between degrees. This paper reports on the design and evaluation of such a system called Pêle-Mêl...

POUR PDF - copie

ion Techniques: model-checking raised interest in techniques to abstract infinite to finite models. Provided that the abstraction has been proven sound, testing may be sufficient for establishing correctness [10, 18]. Systematic Testing: the discussion over test adequacy criteria [27], i. e. criteria solving the question “when did we test enough to meet a given test hypothesis,” led to more sys...

POUR PDF - copie 2

POUR PDF - copie 2

We present the first self-stabilizing consensus and replicated state machine for asynchronous message passing systems. The scheme does not require that all participants make a certain number of steps prior to reaching a practically infinite execution where the replicated state machine exhibits the desired behavior. In other words, the system reaches a configuration from which it operates accord...